Roberta Ballarin Validity and Necessity
نویسنده
چکیده
In this paper I argue against the commonly received view that Kripke’s formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke’s three main innovations vis-à-vis Carnap’s PWS: a new view of the worlds, variable domains of quantification, and the adoption of a universal notion of validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke’s model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators.
منابع مشابه
The Barcan Formula in Metaphysics
The Barcan formula (BF) is widely considered a threat to actualism. I show how BF can be cleared of such a charge by construing it as a bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters.
متن کاملQuine on intensional entities: Modality and quantification, truth and satisfaction
In this paper, I reconstruct Quine’s arguments against quantified modal logic, from the early 1940’s to the early 1960’s. Quine’s concerns were not technical. Quine was looking for a coherent interpretation of quantified-in English modal sentences. I argue that Quine’s main thesis is that the intended objectual interpretation of the quantifiers is incompatible with any semantic reading of the m...
متن کاملOpacity and the double life of singular propositions
In this paper I analyze David Kaplan’s essay “Opacity”. In “Opacity” Kaplan attempts to dismiss Quine’s concerns about quantification across intensional (modal and intentional) operators. I argue that Kaplan succeeds in showing that quantification across intensional operators is logically coherent and that quantified modal logic is strictly speaking not committed to essentialism. However, I als...
متن کاملPrior on the Logic and the Metaphysics of Time
In this paper I explore three related topics emerging from Prior’s work on the logic of time. First, what is the proper province of logic, if any? Is temporal (modal) logic just logic, on a par with the paradigmatic case of first order quantification theory or even simple propositional logic? Second, what counts as an interpretation of a formal system? In particular, can formal semantics provid...
متن کاملDevelopment of an instrument to measure beliefs and attitudes from heart valve disease patients.
The objective of this study was to verify content validity and reliability of "CAV-Instrument" -- an instrument to measure beliefs and attitudes of heart valve disease patients concerning their illness and treatment. The instrument was analyzed by three judges (using predetermined criteria) and submitted to the pretest (n = 17 subjects). The majority of the items were evaluated as adequate rega...
متن کامل